@CHARSET "UTF-8";
#resultDiv{
	width:300px;
	height:100px;
	font-size:25px;
	overflow:auto;
	border:2px solid #0000ff;
}